41. Discrete structures with contemporary applications

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Computer science -- Mathematics,، Logic, Symbolic and mathematical,، Probabilities

رده :
QA
76
.
9
.
M35S72

42. Finite Automata, Formal Logic, and Circuit Complexity

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Logic, Symbolic and mathematical.,Mathematics.

رده :
QA76
.
9
.
M35
B946
1994

43. Finite automata, formal logic, and circuit complexity

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Computer science- Mathematics,Automata,Logic, Symbolic and mathematical,Computational complexity

رده :
QA76
.
9
.
M35
,
S77
1994

44. Finite automata, formal logic, and circuit complexity

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Mathematics ، Computer science,، Machine theory,، Logic, Symbolic and mathematical,، Computational complexity

رده :
QA
76
.
9
.
M35S77

45. Formal Concept Analysis :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science-- Mathematics, Congresses.,Formal methods (Computer science), Congresses.,Logic, Symbolic and mathematical, Congresses.,Computer science-- Mathematics.,Formal methods (Computer science),Logic, Symbolic and mathematical.

رده :
QA76
.
9
.
M35
I58
2019eb

46. Formal Concept Analysis

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Computer science -- Mathematics -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Formal methods (Computer science) -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,منطق ریاضی-- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره ها

رده :
QA
76
.
9
.
F67
2015
E-Book
,

47. Formal concept analysis

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع: Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses

رده :
QA
،
171
.
5
،.
I55
،
2011

48. Foundations of Logic and Mathematics

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Data encryption (Computer science).,Logic, Symbolic and mathematical.,Mathematics.,Number theory.

49. Foundations of logic and mathematics: applications to computer science and cryptography

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science-- Mathematics

رده :
QA
9
.
N53
2002

50. Foundations of logic and mathematics : applications to computer science and cryptography

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science -- Mathematics

رده :
QA
9
.
N53
2002

51. Fuzzy Databases :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence.,Data structures (Computer science),Logic, Symbolic and mathematical.,Mathematics.,Artificial intelligence.,Data structures (Computer science),Logic, Symbolic and mathematical.,Mathematics.

رده :
QA8
.
9-10
.
3

52. Fuzzy-Logik :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science -- Mathematics.,Engineering.,Logic, Symbolic and mathematical.

53. Fuzzy Relational Systems

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence.,Data structures (Computer science).,Logic, Symbolic and mathematical.,Mathematics.,Systems theory.

54. Generalization of some concepts and problems of complexity theory in structures

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Logic, Symbolic and mathematical,Computational complexity,Computer science -- Mathematics

55. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics

رده :
QA
9
.
A1
.
G6
1996a

56. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics

رده :
QA
9
.
A1L44
Vol
.
6

57. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics

رده :
QA
9
.
A1
G6
1996

58. Iteration theories

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)

موضوع: Computer science -- Mathematics,Iterative methods )Mathematics(,Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
M35
,
I56
1993

59. Iteration theories

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)

موضوع: Computer science -- Mathematics,Iterative methods )Mathematics(,Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
M35
,
I56
1993

60. Iteration theories : the equational logic of iterative processes

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Computer science - Mathematics,، Iterative methods )Mathematics(,، Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
M35
I56
1993